Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
701	U.U.D.M. Report 2008:31 Two-dimensional models of type theory Richard Garner Department of Mathematics Add to Reading List Source URL: www2.math.uu.se Language: English - Date: 2008-08-22 07:18:33 Models of computation Algebraic topology Logic in computer science Function Lambda calculus Interpretation Sheaf Type theory Isomorphism Mathematics Mathematical logic Abstract algebra
702	Technology in Diabetes Management MEHRYAR NOORIAFSHAR [removed] University of Southern Queensland, Toowoomba, Australia Abstract The onset of Type 2 (non insulin dependent) diabetes and some instances of Latent Add to Reading List Source URL: eprints.usq.edu.au Language: English - Date: 2013-07-02 21:16:14 Pancreas Diabetes management Blood glucose monitoring Fitbit Glycated hemoglobin Blood sugar Latent autoimmune diabetes Heart rate monitor Minimed Paradigm Diabetes Endocrine system Endocrinology
703	µ-Modelica Language Specification. Joaqu´ın Fern´andez Ernesto Kofman CIFASIS-CONICET, Rosario, Argentina {fernandez, kofman}@cifasis-conicet.gov.ar Abstract Add to Reading List Source URL: www.fceia.unr.edu.ar Language: English - Date: 2014-01-16 12:08:01 Cross-platform software Modelica Object-oriented programming Operator Expr C Lexical analysis Primitive data type Literal Computing Software engineering Computer programming
704	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-30 13:54:10 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
705	PMON+: A Fluent Logic for Action and Change Formal Specication, Version 1.0 Patrick Doherty Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:04 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Term Axiom Function Type theory Logic Mathematics Mathematical logic
706	The abstract package∗ Author: Peter Wilson, Herries Press Maintainer: Will Robertson will dot robertson at latex-project dot org[removed] Add to Reading List Source URL: www.tex.ac.uk Language: English - Date: 2009-09-02 01:31:05 Typesetting Desktop publishing software Digital typography Donald Knuth TeX Man page Make Abstract type Slash Software Computing Application software
707	[removed]MAIN FIGURES SUB3.ppt Add to Reading List Source URL: bioconductor.org Language: English - Date: 2013-05-28 12:00:52 Linear algebra Abstract algebra Vectors Bioconductor Bioinformatics R Vector space Euclidean vector Array data type Algebra Mathematics Software
708	Beyond the “descriptive vs. procedural” distinction Wendell Piez Mulberry Technologies ABSTRACT Add to Reading List Source URL: www.piez.org Language: English - Date: 2014-03-20 13:02:00 Technical communication XML ISO standards Standard Generalized Markup Language HTML Document Type Declaration Schematron Document Type Definition XML Schema Language comparison Computing Web standards Markup languages
709	Using Font Attributes in Knowledge Maps and Information Retrieval Richard Brath1 and Ebad Banissi1 London South Bank University, London, U.K. Abstract. Font specific attributes, such as bold, italic and case can be Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-28 16:03:22 Typesetting Graphic design Science Infographics Scientific modeling HTML Italic type Visualization Font Visual arts Design Typography
710	Website: egu2015.eu Abstract deadline: 7 January This short course will introduce users to the underlying thermodynamics, illustrate the capabilities and potential applications of individual MELTS-type models and give pa Add to Reading List Source URL: www.egu.eu Language: English - Date: 2015-01-20 07:42:16 Physical geography Environmental engineering Environmental science Hydraulic engineering Hydrology Earth science Eclogite Ecology National Center for Earth-surface Dynamics Geology Science Earth

UPDATE